Two set-theoretical theorems in categories

نویسندگان

چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A RELATION BETWEEN THE CATEGORIES Set * , SetT, Set AND SetT

In this article, we have shown, for the add-point monad T, thepartial morphism category Set*is isomorphic to the Kleisli category SetT. Alsowe have proved that the category, SetT, of T-algebras is isomorphic to thecategory Set of pointed sets. Finally we have established commutative squaresinvolving these categories.

متن کامل

In Vitro Cytotoxicity of Two Categories of Dental Cements

Background and Aim: Resin cements are used widely in restorative dentistry regardless of their biocompatibility. The aim of this study was to compare the cytotoxicity of two categories of dental cements consisting of three chemically set cements (Fuji I, Fuji PLUS and Harvard) and two dual curing cements (BisCem and Duo-Link) by use of MTT assay. Materials and Methods: In this experimental s...

متن کامل

a relation between the categories set * , sett, set and sett

in this article, we have shown, for the add-point monad t, thepartial morphism category set*is isomorphic to the kleisli category sett. alsowe have proved that the category, sett, of t-algebras is isomorphic to thecategory set of pointed sets. finally we have established commutative squaresinvolving these categories.

متن کامل

Infinite dimensional perfect set theorems

What largeness and structural assumptions on A ⊆ [R]ω can guarantee the existence of a non-empty perfect set P ⊆ R such that [P ]ω ⊆ A? Such a set P is called A-homogeneous. We show that even if A is open, in general it is independent of ZFC whether for a cardinal κ, the existence of an A-homogeneous set H ∈ [R]κ implies the existence of a non-empty perfect A-homogeneous set. On the other hand,...

متن کامل

Coalgebraic Coinduction in (Hyper)set-theoretic Categories

This paper is a contribution to the foundations of coinductive types and coiterative functions, in (Hyper)set-theoretical Categories, in terms of coalgebras. We consider atoms as rst class citizens. First of all, we give a sharpening, in the way of cardi-nality, of Aczel's Special Final Coalgebra Theorem, which allows for good estimates of the cardinality of the nal coalgebra. To these end, we ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Fundamenta Mathematicae

سال: 1964

ISSN: 0016-2736,1730-6329

DOI: 10.4064/fm-53-1-43-49